Unifying the Software Process Spectrum ∗
نویسندگان
چکیده
Software Process Workshop (SPW 2005) was held in Beijing on May 25-27, 2005. This paper introduces the motivation of organizing such a workshop, as well as its theme and paper gathering and review; and summarizes the main content and insights of 11 keynote speeches, 30 regular papers in five sessions of “Process Content”, “Process Tools and Metrics”, “Process Management”, “Process Representation and Analysis”, and “Experience Reports”, 8 software development support tools demonstration, and the ending panel “Where Are We Now? Where Should We Go Next?”.
منابع مشابه
A Unifying Model for Specification and Design
The application of formal languages in the software development process is becoming more and more evident. Providing formal semantics and tools for the synthesis, analysis and transformation of behavioural models is usually the first step in the process of formal methods development. Many formal methods exist but, as yet, there is an absence of a meta-theory of formal methods. Such a meta-theor...
متن کاملکاربرد آنالیز طیفی بیزی در تحلیل سریهای زمانی نورسنجی
The present paper introduces the Bayesian spectral analysis as a powerful and efficient method for spectral analysis of photometric time series. For this purpose, Bayesian spectral analysis has programmed in Matlab software for XZ Dra photometric time series which is non-uniform with large gaps and the power spectrum of this analysis has compared with the power spectrum which obtained from the ...
متن کاملUnifying Views of UML
We present an approach to embedding a formal method into the Rational Unified Process (RUP). The purposes are: (a) to unify different views of UML, (b) to enhance RUP and UML with the formal method to improve the quality of software systems; and (c) to support effective use of the formal method for system specification and reasoning with the iterative and incremental approach in RUP. Our overal...
متن کاملSome Approaches for Integration of Speciication Techniques
It is often useful to apply several speciication techniques within the same software development project. This raises the question how speciication techniques can be integrated. In this presentation we give three diierent examples of how this can be done. In the rst example, we summarise how the wide-spectrum approach has been used in the RAISE Speciication Language (RSL) to integrate algebraic...
متن کاملProcess Algebra Models in Biology: The Case of Phagocytosis
Process algebras are formal languages, which were originally designed to study the properties of complex reactive computer systems. Due to highly parallelized interactions and stochasticity inherit in biological systems, programming languages that implement stochastic extensions of processes algebras are gaining increasing attention as modeling and simulation tools in systems biology. The autho...
متن کامل